conditional reasoning

条件推理